home *** CD-ROM | disk | FTP | other *** search
- /*******************************************
- * *
- * PasTeX-Driver, Version 1.0 (26.03.1994) *
- * *
- *******************************************/
-
- /*************
- * Arguments *
- *************/
- ARG filename dirname
-
- filename = TRANSLATE(filename, XRANGE('a','z'), XRANGE('A','Z'))
- dirname = TRANSLATE(dirname, XRANGE('a','z'), XRANGE('A','Z'))
- texfile = filename || ".tex"
- dvifile = filename || ".dvi"
-
- ADDRESS COMMAND "Delete >NIL:" texfile
- ADDRESS COMMAND Rename filename texfile
-
- latex = "TeX:bin/virtex &lplain"
- previewer = "TeX:bin/showdvi"
- printer = "TeX:bin/dviprint Printer=LaserJet"
-
- ADDRESS COMMAND latex texfile
- ADDRESS COMMAND previewer dvifile
- /* ADDRESS COMMAND printer dvifile */
-
- EXIT
-